Ensure page-table pin changes are noted in shadow log-dirty mode.
authorSteven Hand <steven@xensource.com>
Wed, 20 Sep 2006 15:22:06 +0000 (16:22 +0100)
committerSteven Hand <steven@xensource.com>
Wed, 20 Sep 2006 15:22:06 +0000 (16:22 +0100)
commita1346661f02a1486f77301b7ae124f0a7988a383
treed75336abd67c7384cd736eaa4aedd09d8c8a3d40
parentca6acada9046a7383c3288c69128b3f64927cc48
Ensure page-table pin changes are noted in shadow log-dirty mode.
Also mark dirty in put_page_type() instead of free_page_type()

Signed-off-by: Steven Hand <steven@xensource.com>
xen/arch/x86/mm.c